20. モナド：プログラマーの定義